منابع مشابه
Half-bps Quotients in M-theory: Ade with a Twist
We classify Freund–Rubin backgrounds of eleven-dimensional supergravity of the form AdS4 ×X which are at least half BPS — equivalently, smooth quotients of the round 7-sphere by finite subgroups of SO(8) which admit an (N > 3)-dimensional subspace of Killing spinors. The classification is given in terms of pairs consisting of an ADE subgroup of SU(2) and an automorphism defining its embedding i...
متن کاملPreons from holography
Our universe is apparently dominated by a vacuum energy/ cosmological constant. The holographic principle then indicates only a finite number of bits of information will ever be available to describe the universe. In that case, the Standard Model (SM) of particle physics based on continuum mathematics with infinite degrees of freedom can only approximate the underlying finite dimensional realit...
متن کاملQuotients in Simple Type Theory
We introduce a syntax for quotient types in a predicate logic over a simply type theory. To illustrate its usefulness we construct in purely type theoretic terms (a) the free abelian group on a commutative monoid H, as quotient of H H; a special instance is the construction of Z from N; (b) the quotient poset of a preorder, (c) the abelian quotient of an arbitrary group, and (d) tensor products...
متن کاملQuotients over Minimal Type Theory
We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevance of propositions and effective quotient sets. Then, by using the construction of total setoid à la Bishop we build a model of qmTT over mTT. The design of an extensional type theory with quotients and its interpretation in mTT...
متن کاملThe K-theory of symplectic quotients
Let G be a compact connected Lie group, and (M,ω) a compact Hamiltonian Gspace with moment map μ. We give a surjectivity result which expresses the K-theory of the symplectic quotient M//G in terms of the equivariant K-theory of the original manifold M , under certain technical conditions on μ. This result is a natural K-theoretic analogue of the Kirwan surjectivity theorem in symplectic geomet...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of High Energy Physics
سال: 2007
ISSN: 1029-8479
DOI: 10.1088/1126-6708/2007/06/043